A Dynamic Logic Programming Based System for Agents with Declarative Goals

نویسندگان

  • Vivek Nigam
  • João Leite
چکیده

Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. It is therefore in a natural way that we use Dynamic Logic Programming (DLP), an extension of AnswerSet Programming that allows for the representation of knowledge that changes with time, to represent the goals of the agent and their evolution, in a simple, declarative, fashion. In this paper, we represent agent’s goals as a DLP, discuss and show how to represent some situations where the agent should adopt or drop goals, and investigate some properties that emerge from using such representation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Using Dynamic Logic Programming to Obtain Agents with Declarative Goals – preliminary report

Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. It is therefore in a natural way that we use Dynamic Logic Programming (DLP), an extension of AnswerSet Programming that allows for the representation of knowledge that changes with time, to represent the goals of the...

متن کامل

An Agent Program Logic with Declarative Goals

It has been argued that declarative goals provide for a natural conceptual tool for designing as well as programming agents. This has given rise to various proposals for integrating declarative goals into programming languages. It is not always clear, however, how to estahblish a precise relation to logical agent theories to reason about such agents. In this paper, we propose an agent programmi...

متن کامل

Agent Programming in Dribble: From Beliefs to Goals with Plans

To support the practical development of intelligent agents, several programming languages have been introduced that incorporate concepts from agent logics: on the one hand, we have languages that incorporate beliefs and plans (i.e., procedural goals), and on the other hand, languages that implement the concepts of beliefs and (declarative) goals. We propose the agent programming language Dribbl...

متن کامل

Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals

. In AAMAS-09 (2009) 1155–1156 [9] Khan, S.M.: Agent Programming Languages with Declarative Goals : A Survey. Technical Report CSE-2007-07, York University, Toronto, ON, Canada, http://www.cse.yorku.ca/techreports/2007/ (2007) [10] Shapiro, S., Brewka, G.: Dynamic Interactions Between Goals and Beliefs. In IJCAI-07 (2007) 2625–2630

متن کامل

A Declarative Language for Dynamic Multimedia Interaction Systems

Universal Timed Concurrent Constraint Programming (utcc) is a declarative model for concurrency tied to logic. It aims at specifying mobile reactive systems, i.e., systems that continuously interact with the environment and may change their communication structure. In this paper we argue for utcc as a declarative model for dynamic multimedia interaction systems. Firstly, we show that the notion...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006